New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fine-gained locks while flushing #2

Merged

davies merged 2 commits into master from finegained

Sep 18, 2018

davies commented Sep 17, 2018

It could be slow to flush all pending files, so it should not block others while flushing.

davies added 2 commits

September 17, 2018 22:30


          fine-gained locks

b85e2c7


          fix flushing

404c4b2

davies merged commit ce8804d into master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment